projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9c659d) | patch
Drop obsolete d/source/local-options
authorIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Tue, 20 Aug 2019 15:11:06 +0000 (17:11 +0200)
committerIOhannes m zmölnig <zmoelnig@umlautS.umlaeute.mur.at>
Tue, 20 Aug 2019 15:11:06 +0000 (17:11 +0200)
commit513de2badcafaeaab629b397fad1fb4081bd9389
treeb131d071caf0ae078435e17bbce5fd1f5be5d3b7tree | snapshot
parentc9c659dbe86a34307b234b3a54a17ac636e8df56commit | diff
Drop obsolete d/source/local-options
debian/source/local-options [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.